arrow: Make minimum size 5px, as opposed to the 15 it was before

Number chosen by staring out the window and counting visible stars.

This is necessary so that path bars don't underallocate the arrow widget
they use.

diff --git a/gtk/gtkarrow.c b/gtk/gtkarrow.c
index 9d46d69bf9bf05b0c8204792254c9a04c3b49403..4da38722e4d867a548928c30dfb95dc1911c370e 100644 (file)
--- a/gtk/gtkarrow.c
+++ b/gtk/gtkarrow.c
@@ -52,7 +52,8 @@
 #include "gtkprivate.h"
 #include "gtkintl.h"
 
-#define MIN_ARROW_SIZE  15
+#define MINIMUM_ARROW_SIZE  5
+#define NATURAL_ARROW_SIZE  15
 
 struct _GtkArrowPrivate
 {
@@ -208,10 +209,10 @@ gtk_arrow_get_preferred_width (GtkWidget *widget,
   gtk_misc_get_padding (GTK_MISC (widget), &xpad, NULL);
 
   if (minimum_size)
-    *minimum_size = MIN_ARROW_SIZE + xpad * 2;
+    *minimum_size = MINIMUM_ARROW_SIZE + xpad * 2;
 
   if (natural_size)
-    *natural_size = MIN_ARROW_SIZE + xpad * 2;
+    *natural_size = NATURAL_ARROW_SIZE + xpad * 2;
 }
 
 static void
@@ -224,10 +225,10 @@ gtk_arrow_get_preferred_height (GtkWidget *widget,
   gtk_misc_get_padding (GTK_MISC (widget), NULL, &ypad);
 
   if (minimum_size)
-    *minimum_size = MIN_ARROW_SIZE + ypad * 2;
+    *minimum_size = MINIMUM_ARROW_SIZE + ypad * 2;
 
   if (natural_size)
-    *natural_size = MIN_ARROW_SIZE + ypad * 2;
+    *natural_size = NATURAL_ARROW_SIZE + ypad * 2;
 }